Continuous stochastic processes with nonlocal memory

Stochastic Processes in Continuous Time

1 Basic Concepts 3 1.1 Notions of equivalence of stochastic processes . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Sample path properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Properties of filtrations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Stopping times . . . . . . . . . . . . . . . . . ....

Discrete Wave-analysis of Continuous Stochastic Processes" Discrete Wave-analysis of Continuous Stochastic Processes

1. Introduction. In the theory of stationary stochastic processes, much effort

Optimal Stochastic Control in Continuous Time with Wiener Processes: General Results and Applications to Optimal Wildlife Management

We present a stochastic optimal control approach to wildlife management. The objective value is the present value of hunting and meat, reduced by the present value of the costs of plant damages and traffic accidents caused by the wildlife population. First, general optimal control functions and value functions are derived. Then, numerically specified optimal control functions and value func...

Part II CONTINUOUS TIME STOCHASTIC PROCESSES

Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes

In a recent paper Baier, Haverkort, Hermanns and Katoen [BHHK00], analyzed a new way of model-checking formulas of a logic for continuoustime processes called Continuous Stochastic Logic (henceforth CSL) – against continuous-time Markov chains – henceforth CTMCs. One of the important results of that paper was the proof that if two CTMCs were bisimilar then they would satisfy exactly the same fo...